3

Hybrid systems: from verification to falsification by

Year:
2009
Language:
english
File:
PDF, 980 KB
english, 2009
9

Region-Guided and Sampling-Based Tree Search for Motion Planning With Dynamics

Year:
2015
Language:
english
File:
PDF, 781 KB
english, 2015
17

Autonomous Data Collection with Limited Time for Underwater Vehicles

Year:
2016
Language:
english
File:
PDF, 4.00 MB
english, 2016
19

Multi-group motion planning in virtual environments

Year:
2016
Language:
english
File:
PDF, 3.37 MB
english, 2016
23

Motion planning with temporal-logic specifications: Progress and challenges

Year:
2015
Language:
english
File:
PDF, 408 KB
english, 2015
24

Robot motion planning with task specifications via regular languages

Year:
2017
Language:
english
File:
PDF, 962 KB
english, 2017
29

Clearance-driven motion planning for mobile robots with differential constraints

Year:
2018
Language:
english
File:
PDF, 1.28 MB
english, 2018